Do we really need to include build files (i.e. _build folder and its content)? That may add unnecessary information in this repo.

Instead, we could generate build in the github action and then deploy to GitHub pages directly. No need for an intermediate folder.

Please see if this is possible. If it is, remove the build folder and add it to .gitignore.

Do we really need to include build files (i.e. _build folder and its content)? That may add unnecessary information in this repo.

Instead, we could generate build in the github action and then deploy to GitHub pages directly. No need for an intermediate folder.

Please see if this is possible. If it is, remove the build folder and add it to .gitignore.

Yes, we don’t need the _build folder in the repo. It will be automatically generated during the GitHub Actions workflow when building and deploying the documentation.